<header>Default domain name</header>

This is the default domain for which hosts in this realm are assumed to be
in.<br>
This is needed for translating V4 principal names to V5 principal names.
<hr>
